121. Philosophy, Language, and Artificial Intelligence :
Author: edited by Jack Kulas, James H. Fetzer, Terry L. Rankin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Artificial Intelligence.,Computer science.
Classification :
P98
.
E358
1988
122. Plural predication /
Author: Thomas J. McKay.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Grammar, Comparative and general-- Number.,Language and languages-- Philosophy.,Logic.,Predicate (Logic),Semantics (Philosophy),17.52 syntax.,Grammar, Comparative and general-- Number.,Jämförande grammatik-- numerus.,Kwantificatie (taalkunde),Language and languages-- Philosophy.,Logic.,Logik.,Plural,Plural.,Prädikation,Prädikation.,Predicate (Logic),Predikatlogik.,Quantifizierung,Quantifizierung Linguistik,Semantics (Philosophy),Semantik-- filosofi.,Sprachphilosophie,Sprachphilosophie.,Språkfilosofi.
Classification :
B840
.
M435
2006
123. Power, Performance and Scalability for Big Data Query Languages:
Author: Wang, Jin
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
124. Presumptive Meanings : The Theory of Generalized Conversational Implicature
Author:
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Semantics,Formal languages - Semantics,Implication (Logic),Pragmatics,Grammar, Comparative and general,معنی شناسی,زبان های صوری -- معنی شناسی,استلزام )منطق(,کاربردشناسی,دستور زبان تطبیقی,Levinson, Stephen C.
Classification :
CD-B
,
P
,
325
,.
L4P7
,
2000
125. Presumptive meanings : the theory of generalized conversational implicature
Author: Levinson, Stephen C.
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Semantics ► Formal languages- Semantics ► Implication (Logic) ► Pragmatics ► Grammar, Comparative and general
Classification :
401
L665p
126. Program Construction :
Author: edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programmation (Informatique)
Classification :
QA76
.
6
E358
1979
127. Programmiersprachen und Programmentwicklung :
Author: herausgegeben von Hans Wössner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
Classification :
QA76
.
7
H473
1982
128. Programming Languages and Their Definition :
Author: H Bekic
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
7
H345
1985
129. Programming concepts and methods procomet '98 :
Author: wg2.2, 2.3.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
130. Programming languages :
Author: André Rauber Du Bois, Phil Trinder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses
Classification :
QA76
.
7
.
B73
2013
131. Programming languages and systems :
Author: Hongseok Yang (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers), Congresses,Software engineering, Congresses
Classification :
QA76
.
7
.
A65
2011
132. Quality of Communication-Based Systems :
Author: edited by Günter Hommel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Software engineering.
Classification :
QA76
.
9
.
A23
E358
1995
133. Quantitative assessments of distributed systems :
Author: edited by Dario Bruneo and Salvatore Distefano
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
Classification :
QA76
.
9
.
E94
134. Query Language Extensions for Advanced Analytics on Big Data and their Efficient Implementation
Author: GU, JIAQI
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
135. Quotatives
Author: / Isabelle Buchstaller
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Quotation,Speech acts (Linguistics),Intercultural communication,Semantics,Sociolinguistics,LANGUAGE ARTS & DISCIPLINES / Linguistics / Sociolinguistics., bisacsh,کلمات قصار,کنش های گفتاری ( زبان‌شناسی ),ارتباط میان فرهنگی,معنی شناسی,جامعه‌شناسی زبان,مهارت ها و رشته های زبانی -- زبان شناسی -- جامعه شناسی زبان
Classification :
P302
,.
814
.
B83
2014
136. Reasoning web :
Author: Claudia d'Amato, Martin Theobald (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
Classification :
TK5105
.
88815
137. Recent advances in temporal databases :
Author: James Clifford and Alexander Tuzhilin (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Datenbanksystem,Temporale Logik,Zeitliches Datenbanksystem.
138. Recent trends in algebraic development techniques
Author: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
Classification :
QA
76
.
76
.
D47
W32
2015
E-Book
,
139. Recent trends in algebraic development techniques :
Author: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
Classification :
QA76
.
76
.
D47
140. Regulated rewriting in formal language theory
Author: Jurgen Dassow, Gheorghe Paun
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Formal languages,، Rewriting systems )Computer science(,، Formal languages -- Semantics
Classification :
QA
267
.
3
.
D37
1989
